منابع مشابه
On self-complementation
We prove that, with very few exceptions, every graph of order n, n = 0, 1 (mod 4) and size a t most n 1, is contained in a self-complementary graph of order n. We study a similar problem for digraphs. Throughout the paper, G and D will denote a finite graph and a finite digraph, respectively, without loops or multiple edges, with vertex-sets V(G) and V ( D ) , and edge-sets E(G) and E(D); defin...
متن کاملThe Weakness of Self-Complementation
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, proceeds by evaluating fixed-point expressions over the system’s set of states. Such evaluation is particularly simple and efficient when the expressions do not contain alternation between least and greatest fixed-point operat...
متن کاملComplementation.
Mutations in many genes can result in a similar phenotype. Finding a number of mutants with the same phenotype tells you little about how many genes you are dealing with, and how mutable those genes are until you can assign those mutations to genetic loci. The genetic assay for gene assignment is called the complementation test. The simplicity and robustness of this test makes it a fundamental ...
متن کاملOn Minimal Odd Rankings for Büchi Complementation
We study minimal odd rankings (as defined by Kupferman and Vardi[KV01]) for run-DAGs of words in the complement of a nondeterministic Büchi automaton. We present an optimized version of the ranking based complementation construction of Friedgut, Kupferman and Vardi [FKV06] and Schewe’s[Sch09] variant of it, such that every accepting run of the complement automaton assigns a minimal odd ranking ...
متن کاملan investigation of the impact of self monitoring on langauge teachers motivational practice and its effect on learners motivation
the central purpose of this study was to conduct a case study about the role of self monitoring in teacher’s use of motivational strategies. furthermore it focused on how these strategies affected students’ motivational behavior. although many studies have been done to investigate teachers’ motivational strategies use (cheng & d?rnyei, 2007; d?rnyei & csizer, 1998; green, 2001, guilloteaux & d?...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Graph Theory
سال: 1985
ISSN: 0364-9024,1097-0118
DOI: 10.1002/jgt.3190090305